201. Design of library automation systems :file structures, data structures, and tools

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Libraries - Data processing,Lilbraries - Automation,Programming (Computer science),File organization (Computer science),Data structures (Computer Science)

رده :
‭
Z678
,
9
‬ ‭.
C626
1996
‬

202. Design of library automation systems : file structures, data structures, and tools

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Libraries - Data processing , Libraries - Automation , Programming )Electronic computers( , File organization )Computer science( , Data structures )Computer science(

رده :
Z
678
.
9
.
C626
1996

203. Design of library automation systems: file structures, data structures, and tools

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Libraries - Data processing,Libraries - Automation,Programming (Electronic computers),File organization (Computer science),Data structures (Computer science)

رده :
025
.
00285
C777D
1996

204. Developments in egineering computational technology

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : Data processing ، Engineering,، Object oriented programming )computer science(

205. Digital Product and Process Development Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Application software.,Business-- Data processing.,Computer science.,Computer-aided engineering.,Information technology.

206. Digital and Image Geometry :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

رده :
TA1637
.
G474
2001

207. Disciplined programming; using Pascal

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Pascal )Computer program language(,، Data structures )Computer science(

رده :
QA
76
.
73
.
P2
R49

208. Discrete computational structures

پدیدآورنده :

موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

209. Discrete structures, logic, and computability

پدیدآورنده :

کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)

موضوع : Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions

رده :
QA
76
,.
9
.
H42D5
2010

210. Discrete structures, logic, and computability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions

رده :
QA76
.
9
.
M35
,.
H44
2010

211. Discrete structures, logic, and computability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions

رده :
QA
76
.
9
.
M35H43
2010

212. Domain Theory, Logic and Computation :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic.,Philosophy (General)

رده :
QA76
.
7
E358
2003

213. Dynamic Worlds

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).

214. Dynamic programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Agricultural resources -- Management -- Mathematical models.,Natural resources -- Management -- Mathematical models.,Programmation dynamique.

رده :
S561
.
J646
1986

215. Elementary Standard ML.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Functional programming (Computer science),ML (Computer program language)

رده :
QA76
.
73
.
M6
G553
9999

216. Energy minimization methods in computer vision and pattern recognition :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer vision, Congresses.,Pattern recognition systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Image processing.,Mathematical theory of computation.,Maths for computer scientists.,Pattern recognition systems.,Pattern recognition.

رده :
TA1634
.
E44
2017eb

217. Evolutionary computation in combinatorial optimization :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Combinatorial optimization-- Data processing, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Combinatorial optimization-- Data processing.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.

رده :
QA76
.
618

218. Evolvable hardware /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary programming (Computer science),Logic circuits-- Design and construction.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,Digital integrated circuits-- Design and construction.,Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary computation.,Evolutionary programming (Computer science),Evolutionary programming (Computer science),Informatique.,Logic circuits-- Design and construction.,Logic circuits-- Design and construction.

رده :
QA76
.
618
.
E96
2006eb

219. Experimental algorithms

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computer algorithms, Congresses

رده :
QA76
.
9
.
A43S42
2010

220. Exploring computer science with scheme

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming -- Problems, exercises, etc.,Computer programming.,Scheme (Computer program language)

رده :
QA76
.
O458
2011